paned: Replace handle gadget with widget
authorTimm Bäder <mail@baedert.org>
Sun, 21 May 2017 17:02:33 +0000 (19:02 +0200)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 20 Jul 2017 01:27:13 +0000 (21:27 -0400)
commitac1d3cb396eb1542cccc50e1b985b51b86d58075
tree65301de3972c4ca04c0910ec24168feeb8d57fb0
parentec51c633139911162bccdecf0c26d331abda5c10
paned: Replace handle gadget with widget
gtk/gtkpaned.c